#ifndef __HAL_CS_F71_TIMER_H
#define __HAL_CS_F71_TIMER_H
#include "compile_option.h"
#include "hal_cs_f71_framework.h"
 
#define SYS_CLK_VAL  24  //Mhz


extern void Config_System_Clk(void);

extern void HAL_Timer0_Init(void);
extern void HAL_Timer1_Init(void);
#endif	/* __HAL_CS_F71_TIMER_H */


